- metamathematical theory
- мат.метаматематическая теория
English-Russian scientific dictionary. 2008.
metamathematical theory
Смотреть что такое "metamathematical theory" в других словарях:
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Semantic theory of truth — A semantic theory of truth is a theory of truth in the philosophy of language which holds that truth is a property of sentences.[1] Contents 1 Origin 2 Tarski s Theory 3 See also … Wikipedia
History of logic — Philosophy ( … Wikipedia
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Metamathematics — is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories. Metamathematical metatheorems about mathematics itself were originally… … Wikipedia
mathematics, philosophy of — Branch of philosophy concerned with the epistemology and ontology of mathematics. Early in the 20th century, three main schools of thought called logicism, formalism, and intuitionism arose to account for and resolve the crisis in the foundations … Universalium
Hilbert , David — (1862–1943) German mathematician Hilbert studied at the university in his native city of Königsberg (now Kaliningrad in Russia) and at Heidelberg; he also spent brief periods in Paris and Leipzig. He took his PhD in 1885, the next year became… … Scientists
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
List of important publications in mathematics — One of the oldest surviving fragments of Euclid s Elements, found at Oxyrhynchus and dated to circa AD 100. The diagram accompanies Book II, Proposition 5.[1] This is a list of important publications in mathematics, organized by field. Some… … Wikipedia
Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
